#!/bin/bash

echo "Lancement des statistiques des fonctions de hachage de ada-dico..."

echo ""

rm -f *~
rm -f *.ali
rm -f *.o

gnatmake demonstration.adb &> /dev/null

echo "Lancement de la demonstration..."

./demonstration

rm -f *~
rm -f *.ali
rm -f *.o
rm -f demonstration
